ГОРНАЯ МЕЛЬНИЦА

   Рудник для добычи пустой породы, которой заполняют выработанные подземные полости.

   (Термины российского архитектурного наследия. Плужников В.И., 1995)